#ifndef ABOS_KERN_TRAP_H
#define ABOS_KERN_TRAP_H
#ifndef ABOS_KERNEL
# error "This is a ABOS kernel header; user programs should not #include it"
#endif

#include <include/trap.h>

void init_idt(void);

#endif /* ABOS_KERN_TRAP_H */
